____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Final-Ο-Algebra
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Final-Ο-Algebra, auch Bild-Ο-Algebracite-ref-1[1] genannt, ist ein spezielles Mengensystem, genauer eine Ο-Algebra, in der MaΓtheorie. Die zu einer vorgegebenen Familie von Funktionen gebildete Final-Ο-Algebra ist das grΓΆΓte Mengensystem auf der gemeinsamen Zielmenge dieser Funktionen, bezΓΌglich der diese sΓ€mtlich messbar sind. Somit bildet das Konzept der Final-Ο-Algebra das Pendant zum Konzept der Initial-Ο-Algebra, welche die kleinste Ο-Algebra auf der Definitionsmenge darstellt, bezΓΌglich der alle Funktionen der vorgegebenen Funktionenfamilie messbar sind. Ein analoges Konzept findet sich in der Topologie; hier sind die Initialtopologie bzw. die Finaltopologie die grΓΆbste bzw. feinste Topologie auf der Definitionsmenge bzw. Zielmenge, bezΓΌglich der alle Funktionen der vorgegebenen Funktionenfamilie stetig ist.
Contents
β’ Definition
β’ Eigenschaften
β’ Literatur
β’ Einzelnachweise
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Definition
FΓΌr eine beliebige Indexmenge seien MessrΓ€ume ( X i , A i ) {\displaystyle (X_{i},{\mathcal {A}}_{i})} gegeben sowie Abbildungen f i : : X i β β X {\displaystyle f_{i}\colon X_{i}\to X} fΓΌr eine beliebige Menge X {\displaystyle X} . Dann heiΓt die Ο-Algebra
F ( f i , i β β I ) := β β i β β I { A β β X | f i β β 1 ( A ) β β A i } {\displaystyle {\mathcal {F}}(f_{i},\,i\in I):=\bigcap _{i\in I}\{A\subset X\,|\,f_{i}^{-1}(A)\in {\mathcal {A}}_{i}\}}
die Final-Ο-Algebra der Abbildungen f i {\displaystyle f_{i}} auf X {\displaystyle X} .
Eigenschaften
β’ Ist ein weiterer Messraum ( Y , A β β ) {\displaystyle (Y,{\mathcal {A}}^{*})} gegeben und eine Funktion g : : X β β Y {\displaystyle g\colon X\to Y} , so ist g {\displaystyle g} genau dann F ( f i , i β β I ) {\displaystyle {\mathcal {F}}(f_{i},\,i\in I)} - A β β {\displaystyle {\mathcal {A}}^{*}} -messbar, wenn die Kompositionen g β β f i {\displaystyle g\circ f_{i}} alle A i {\displaystyle {\mathcal {A}}_{i}} - A β β {\displaystyle {\mathcal {A}}^{*}} -messbar sind.
Literatur
β’ JΓΌrgen Elstrodt: MaΓ- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.
Einzelnachweise